面向安全属性的软件组件可信依赖关系度量模型

随着软件的应用规模越来越大，软件系统一旦出现故障，很可能会造成人员伤亡或财产等重大损失，因此对软件可信性进行评估尤为重要.在安全攸关如航空航天等领域，作为可信关键属性之一的安全性影响着整个软件系统的可信评估.特别当一个组件受到安全攻击或缺陷出现时，可信性会下降，会影响到与它可信关联的组件可信性，从而影响到整个系统的可信性.遵循这一思路，设计了软件系统组件可信性发生改变后对其它组件可信性影响度量公式，进一步给出当一组件可信性发生变化，整个软件系统各组件可信性度量发生变化的度量模型.本文以某“航天电源管理设备”为例，证明了本文所建立的组件可信依赖关系度量模型的合理性和有效性.     

Facile Fabrication of Hierarchical Porous N/O Functionalized Carbon Derived from Blighted Grains Towards Electrochemical Capacitors

The hierarchical porous N/O co-functionalized carbon(HPNOC)was scalably prepared by using the lowcost and renewable blighted grains as the raw material coupled with mild KHCO_3 activation for electrochemical capacitors(ECs).The elemental N was in situ doped in the obtained HPNOC without any N-containing additives.Remarkably,the obtained HPNOC was endowed with a large specific surface area(about 2 624m~2·g~(-1)),high pore volume(about 1.35cm~3·g~(-1)),as well as high-content N/O functionalization(about 1.9%(in atom)N and about 10.2%(in atom)O.Furthermore,the as-resulted HPNOC electrode with a high mass loading of 5mg·cm~(-2 )exhibited competitive gravimetric capacitances of about 373.6F·g~(-1 )at 0.5A·g~(-1),and even about 260.4F·g~(-1 )at a high rate of 10A·g~(-1);superior capacitance retention of about 98.8%at 1A·g~(-1 )over 10 000consecutive cycles;and high specific energy of about 9.6W·h·kg~(-1 )at a power of 500W·kg~(-1),when evaluated as a promising electrode in 6mol KOH for advanced electrochemical supercapacitors.More encouragingly,the green synthetic strategy we developed holds a huge promise in generalizing for other biomass-derived carbon materials for versatile energy-related applications.     

Local Path Planning and Tracking Control of Vehicle Collision Avoidance System

Automotive collision avoidance technology can effectively avoid the accidents caused by dangerous traffic conditions or driver's manipulation errors.Moreover,it can promote the development of autonomous driving for intelligent vehicle in intelligent transportation.We present a collision avoidance system,which is composed of an evasive trajectory planner and a path following controller.Considering the stability of the vehicle in the conflict-free process,the evasive trajectory planner is designed by polynomial parametric method and optimized by genetic algorithm.The path following controller is proposed to make the car drive along the designed path by controlling the vehicle's lateral movement.Simulation results show that the vehicle with the proposed controller has good stability in the collision process,and it can ensure the vehicle driving in accordance with the planned trajectory at different speeds.The research results can provide a certain basis for the research and development of automotive collision avoidance technology.     

Evolution of UV-B regulation and protection in plants.

Plants have evolved under the influence of UV-B radiation and have acquired systems for monitoring it and investing appropriate resources for protection against it, i.e., filters, quenchers of radicals and reactive oxygen species, and repair systems. An hypothesis for how plants monitor radiation has been presented.     

晶体管h参数微变等效电路的研究

晶体管h参数微变等效电路是电子技术中求解低频、小信号放大电路常用的分析方法.本文通过具体分析,将模拟放大电路进行了新的分类,并且明确而系统地给出运用微变等效电路求解各类模拟放大电路动态指标Av、ri和γ0公式、解题难点及规律.     

世界贸易组织与航空产品包装

论述了我国加入世界贸易组织后，如何搞好航空产品的包装和包装标准化工作，以提高航空工业军品和民品在国际市场的竞争能力。     

污水处理装置在冶金行业中的应用

对污水处理装置的技术参数、技术要求及设计方案的选择、工作原理做了进一步的阐述。对工业循环冷却水的处理有实际指导意义。     

Real-time translational control of a MEMS comb resonator

Closed-loop control has been successfully applied to a microelectromechanical systems (MEMS) lateral comb resonator device in real-time to perform impulse disturbance damping and sinusoidal position control, enabled by the use of a through-wafer optical microprobe to obtain position feedback. This result leverages the application of lifetime, in-situ control of MEMS in order to provide quality assurance of microsystems in safety critical applications. A position feedback signal produced by a through-wafer optical microprobe has been used for comb resonator system model identification by two independent methods to accurately determine the effective mass, damping, and spring constant values of the device. After accurate determination of system parameters, closed-loop impulse disturbance damping and proportional-integral-differential (PID) translational control were applied. Closed-loop control results presented indicate controllability of such microstructures and response times on the order of the natural frequency of the device.